An advanced SAT solver

Simple Theorem Prover, an efficient SMT solver for bitvectors

The glucose SAT solver

A Header-Only CDCL SAT Solver for Programming Contest

A simple SAT solver that implements the DPLL algorithm with unit resolution

华中科技大学计算机个人资料合集:课设/实验报告等。tag:数电实验交通灯，C++实验华为，C语言实验，数据结构实验，洛谷算法实验，数据结构课设SAT数独求解器，电路理论，Java，计基实验

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

A simple SAT solver based on the CDCL algorithm

Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.

A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)

SAT-based generator for Alcazar puzzles

A SAT solver in under 300 lines C++

SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B

Parallel SAT Solver

A reference implementation of PDR for boolean transition systems

C++ implementation of the DPLL Algorithm

All-in-one proposition to ROBDD constructor, featured by LALR parsing

A fast, clean IPASIR SAT solver

SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.

Boolean SAT solver based on DPLL algorithm with randomization and geometric restarts (RGR) heuristic